$\forall$$P$:(ES\{i\}$\rightarrow\mathbb{P}$\{i'\}), $p$:es{-}real\{i:l\}(${\it es}$.$P$(${\it es}$)). es{-}realizer($p$) $\in$ es\_realizer\{i:l\}